÷#
set cast(a41) = cast(a13)
set cast(a42) = cast(a22)
set cast(a43) = cast(a23) 
set cast(b15) = cast(a13) 
set cast(b16) = cast(a22) 
set cast(b17) = cast(a23)
set cast(b18) = cast(a25) 
set cast(b21) = cast(a13)
˛ˇ